$\forall$$E$:Type, $t$:Tree($E$). is\_node($t$) $\in$ $\mathbb{B}$